ACI Sécurité Informatique CORTOS
نویسنده
چکیده
منابع مشابه
Control of Timed Systems
◮ CORTOS = Control and Observation of Real-Time Open Systems ◮ Participants: LSV + VERIMAG + IRCCyN ◮ Web: http://www.lsv.ens-cachan.fr/aci-cortos/ Thèmes du projet ◮ Algorithmes de synthèse de contrôleur ◮ Observation et détection de fautes ◮ Logiques pour exprimer le contrôle ◮ Contrôle optimal Session Invitée
متن کاملACI Sécurité 2004 : FIACRE - Fiabilité des Assemblages de Composants Répartis - Models and Tools for Safety and Security Analysis of Distributed Components and their Composition
In forthcoming years, distributed component based programming will have a strong impact on software development methods. In order for this approach to fully work, while component libraries become available, it is necessary to be able to compose existing components into more complex objects, and to guarantee that this composition will work correctly and fulfill its expected role. Classical, stat...
متن کاملAction Concertée Incitative SÉCURITÉ & INFORMATIQUE MARS: MAtériel Robuste pour systèmes Sûrs Robust Hardware for Dependable Systems
The theoretical goal of the project “MARS” is to settle the bases of the Design For Security (DFS) problem. This problem consists in understanding how immaterial information processed by a physical machine is leaked and is affected by errors generated (intentionally or not) by the environment. The practical goal of “MARS” is to provide with methods to design devices that resist physical attacks...
متن کاملClustering Iterativo de Textos Cortos con Representaciones basadas en Conceptos
Resumen La tendencia actual a trabajar con documentos cortos (blogs, mensajes de textos, y otros), ha generado un interés creciente en las técnicas de procesamiento automáticas de documentos con estas caracteŕısticas. En este contexto, el “clustering” (agrupamiento) de textos cortos es un área muy importante de investigación, que puede jugar un rol fundamental en organizar estos grandes volúmen...
متن کاملLoft + Cyclone
This paper reports on an experiment to add concurrency to the Cyclone programming language, in order to get a safe concurrent language. The basic model considered is that of FairThreads in which synchronous and asynchronous aspects are mixed. The language Loft implements the FairThreads model in C. In this paper, one uses Cyclone instead of C in the implementation of Loft. Using the multi-threa...
متن کامل